Intrigila, Benedetto: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Negative Results on the Reduction of the Recursion Scheme

Benedetto Intrigila

Journal:

Mathematical Logic Quarterly

Year:

1988

Language:

english

File:

PDF, 250 KB

english, 1988

2

The basis decision problem in λ-calculus

Benedetto Intrigila

Journal:

Mathematical Logic Quarterly

Year:

1993

Language:

english

File:

PDF, 135 KB

english, 1993

3

Generating graphical applications from state-transition visual specifications

GIUSEPPE DELLA PENNA, BENEDETTO INTRIGILA, SERGIO OREFICE

Journal:

International Journal of Human-Computer Studies

Year:

2001

Language:

english

File:

PDF, 821 KB

english, 2001

4

A Remark on Infinite Matching vs Infinite Unification

BENEDETTO INTRIGILA, MARISA VENTURINI ZILLI

Journal:

Journal of Symbolic Computation

Year:

1996

Language:

english

File:

PDF, 381 KB

english, 1996

5

Combinatorial principles in elementary number theory

Alessandro Berarducci, Benedetto Intrigila

Journal:

Annals of Pure and Applied Logic

Year:

1991

Language:

english

File:

PDF, 1.05 MB

english, 1991

6

Some new results on easy lambda-terms

Alessandro Berarducci, Benedetto Intrigila

Journal:

Theoretical Computer Science

Year:

1993

Language:

english

File:

PDF, 1.18 MB

english, 1993

7

The Parikh counting functions of sparse context-free languages are quasi-polynomials

Flavio D’Alessandro, Benedetto Intrigila, Stefano Varricchio

Journal:

Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 1.16 MB

english, 2009

8

Synchronized Regular Expressions

Giuseppe Della Penna, Benedetto Intrigila, Enrico Tronci, Marisa Venturini Zilli

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 172 KB

english, 2002

9

Synchronized regular expressions

Giuseppe Della Penna, Benedetto Intrigila, Enrico Tronci, Marisa Venturini Zilli

Journal:

Acta Informatica

Year:

2003

Language:

english

File:

PDF, 279 KB

english, 2003

10

On the generalization of Higman and Kruskal's theorems to regular languages and rational trees

Benedetto Intrigila, Stefano Varricchio

Journal:

Acta Informatica

Year:

2000

Language:

english

File:

PDF, 155 KB

english, 2000

11

Exploiting transition locality in automatic verification of finite-state concurrent systems

Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2004

Language:

english

File:

PDF, 1.48 MB

english, 2004

12

Finite horizon analysis of Markov Chains with the Murϕ verifier

Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2006

Language:

english

File:

PDF, 599 KB

english, 2006

13

Some results on extensionality in lambda calculus

Benedetto Intrigila, Richard Statman

Journal:

Annals of Pure and Applied Logic

Year:

2005

Language:

english

File:

PDF, 214 KB

english, 2005

14

Interoperability mapping from XML schemas to ER diagrams

Giuseppe Della Penna, Antinisca Di Marco, Benedetto Intrigila, Igor Melatti, Alfonso Pierantonio

Journal:

Data & Knowledge Engineering

Year:

2006

Language:

english

File:

PDF, 658 KB

english, 2006

15

An XML environment for scenario based requirements engineering

Giuseppe Della Penna, Benedetto Intrigila, Anna Rita Laurenzi, Sergio Orefice

Journal:

Journal of Systems and Software

Year:

2006

Language:

english

File:

PDF, 2.22 MB

english, 2006

16

On the structure of the counting function of sparse context-free languages

Flavio D’Alessandro, Benedetto Intrigila, Stefano Varricchio

Journal:

Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 222 KB

english, 2006

17

Non-existent Statman's Double Fixed Point Combinator Does Not Exist, Indeed

Benedetto Intrigila

Journal:

Information and Computation

Year:

1997

Language:

english

File:

PDF, 253 KB

english, 1997

18

A Characterization of Weakly Church–Rosser Abstract Reduction Systems That Are Not Church–Rosser

Benedetto Intrigila, Ivano Salvo, Stefano Sorgi

Journal:

Information and Computation

Year:

2001

Language:

english

File:

PDF, 207 KB

english, 2001

19

Computational models of myocardial endomysial collagen arrangement

Benedetto Intrigila, Igor Melatti, Alberto Tofani, Guido Macchiarelli

Journal:

Computer Methods and Programs in Biomedicine

Year:

2007

Language:

english

File:

PDF, 1.27 MB

english, 2007

20

An environment for the design and implementation of visual applications

Giuseppe Della Penna, Benedetto Intrigila, Sergio Orefice

Journal:

Journal of Visual Languages & Computing

Year:

2004

Language:

english

File:

PDF, 1.32 MB

english, 2004

21

Quasi-polynomials, linear Diophantine equations and semi-linear sets

Flavio D’Alessandro, Benedetto Intrigila, Stefano Varricchio

Journal:

Theoretical Computer Science

Year:

2012

Language:

english

File:

PDF, 323 KB

english, 2012

22

CGMurphi: Automatic synthesis of numerical controllers for nonlinear hybrid systems

Della Penna, Giuseppe, Intrigila, Benedetto, Magazzeni, Daniele, Melatti, Igor, Tronci, Enrico

Journal:

European Journal of Control

Year:

2013

Language:

english

File:

PDF, 2.32 MB

english, 2013

23

[IEEE 2010 Sixth International Conference on Autonomic and Autonomous Systems (ICAS) - Cancun, Mexico (2010.03.7-2010.03.13)] 2010 Sixth International Conference on Autonomic and Autonomous Systems - Planning for Autonomous Planetary Vehicles

Della Penna, Giuseppe, Intrigila, Benedetto, Magazzeni, Daniele, Mercorio, Fabio

Year:

2010

Language:

english

File:

PDF, 1.71 MB

english, 2010

24

[IEEE Third International Conference on Autonomic and Autonomous Systems (ICAS'07) - Athens, Greece (2007.6.19-2007.6.25)] Third International Conference on Autonomic and Autonomous Systems (ICAS'07) - Automatic Synthesis of Robust Numerical Controllers

Penna, Giuseppe Della, Magazzeni, Daniele, Tofani, Alberto, Intrigila, Benedetto, Melatti, Igor, Tronci, Enrico

Year:

2007

Language:

english

File:

PDF, 190 KB

english, 2007

25

On the commutative equivalence of semi-linear sets of

D'Alessandro, Flavio, Intrigila, Benedetto

Journal:

Theoretical Computer Science

Year:

2015

Language:

english

File:

PDF, 519 KB

english, 2015

26

On the commutative equivalence of bounded context-free and regular languages: The code case

D'Alessandro, Flavio, Intrigila, Benedetto

Journal:

Theoretical Computer Science

Year:

2015

Language:

english

File:

PDF, 433 KB

english, 2015

27

AN XML BASED METHODOLOGY TO MODEL AND USE SCENARIOS IN THE SOFTWARE DEVELOPMENT PROCESS

DELLA PENNA, GIUSEPPE, LAURENZI, ANNA RITA, OREFICE, SERGIO, INTRIGILA, BENEDETTO

Journal:

International Journal of Software Engineering and Knowledge Engineering

Year:

2008

Language:

english

File:

PDF, 1.57 MB

english, 2008

28

SyBeL: A SYSTEM MODELLING LANGUAGE ENHANCING AUTOMATIC SUPPORT IN THE SOFTWARE DEVELOPMENT PROCESS

PENNA, GIUSEPPE DELLA, OREFICE, SERGIO, INTRIGILA, BENEDETTO, MAGAZZENI, DANIELE, SORDO, ROBERTO DEL, CICCOTTI, GIUSEPPE CARDINALE

Journal:

International Journal of Software Engineering and Knowledge Engineering

Year:

2013

Language:

english

File:

PDF, 5.61 MB

english, 2013

29

An XML Definition Language to Support Scenario-Based Requirements Engineering

Della Penna, Giuseppe, Intrigila, Benedetto, Laurenzi, Anna Rita, Orefice, Sergio

Journal:

International Journal of Software Engineering and Knowledge Engineering

Year:

2003

Language:

english

File:

PDF, 236 KB

english, 2003

30

On the commutative equivalence of bounded context-free and regular languages: The semi-linear case

D'Alessandro, Flavio, Intrigila, Benedetto

Journal:

Theoretical Computer Science

Year:

2015

Language:

english

File:

PDF, 650 KB

english, 2015

31

Lambda theories allowing terms with a finite number of fixed points

INTRIGILA, BENEDETTO, STATMAN, RICHARD

Journal:

Mathematical Structures in Computer Science

Year:

2017

Language:

english

File:

PDF, 216 KB

english, 2017

32

Fixed points in lambda calculus. An eccentric survey of problems and solutions

Intrigila, Benedetto, Statman, Richard

Journal:

Indagationes Mathematicae

Year:

2017

Language:

english

File:

PDF, 268 KB

english, 2017

33

[IEEE 2018 IEEE International Systems Engineering Symposium (ISSE) - Rome, Italy (2018.10.1-2018.10.3)] 2018 IEEE International Systems Engineering Symposium (ISSE) - Engineering Complex Safety Critical Software Systems: Abstraction and Concreteness

Intrigila, Benedetto, Mazzucchelli, Luigi

Year:

2018

Language:

english

File:

PDF, 1.33 MB

english, 2018

34

Multi-Factor Authentication for e-Government Services using a Smartphone Application and Biometric Identity Verification

AlRousan, Mohammad, Intrigila, Benedetto

Journal:

Journal of Computer Science

Year:

2020

File:

PDF, 687 KB

2020